monoidmap-aeson-0.0.0.1: golden/MonoidMap (Int,Int) (Dual [Natural]).json
{
"samples": [
[
[
[
-13,
-5
],
[
14,
11,
11,
0,
9
]
],
[
[
-11,
6
],
[
1,
13,
14,
3
]
],
[
[
-9,
-4
],
[
9,
14,
12,
11
]
],
[
[
1,
-7
],
[
1,
9,
11,
8,
5,
0,
14,
7,
4,
8,
11
]
],
[
[
4,
-12
],
[
2,
11,
6,
8,
10
]
],
[
[
7,
8
],
[
14,
5,
6,
6,
11,
5,
9
]
],
[
[
10,
1
],
[
12,
6,
0,
11,
0,
1
]
],
[
[
10,
8
],
[
5,
8,
10,
2,
3
]
],
[
[
11,
-11
],
[
1,
1,
6,
0,
4,
6,
13,
12,
3,
9,
8,
8
]
]
],
[
[
[
-14,
13
],
[
2,
5,
12,
2
]
],
[
[
-9,
-5
],
[
5,
12,
6,
1,
2,
12,
8,
2,
4
]
],
[
[
-2,
-12
],
[
1,
1,
1,
0,
7,
12
]
],
[
[
-1,
-2
],
[
12,
10,
6
]
],
[
[
2,
9
],
[
9,
5,
1,
5,
5,
7,
2,
14,
10,
7,
3,
9,
8,
5
]
],
[
[
3,
0
],
[
10,
10,
13,
7,
5,
10,
11,
10,
7,
0,
7,
1,
9,
8
]
],
[
[
3,
6
],
[
11,
5,
7,
10,
8
]
],
[
[
8,
1
],
[
11,
7,
2,
14,
0,
14,
8,
8,
8,
0,
13,
5,
11,
1
]
],
[
[
12,
14
],
[
6,
1,
2,
12,
0,
3,
4,
3,
0,
4,
10,
14,
11,
14
]
],
[
[
13,
14
],
[
11,
7
]
]
],
[
[
[
-14,
6
],
[
6,
0,
13,
12,
7
]
],
[
[
-11,
8
],
[
6,
11,
5
]
],
[
[
-10,
-1
],
[
5,
2
]
],
[
[
-6,
-2
],
[
2
]
],
[
[
1,
4
],
[
2,
9,
4,
9,
1,
2,
13,
7,
6,
11
]
],
[
[
6,
-1
],
[
10,
8,
14,
8,
14,
11,
5,
4,
2,
9,
11,
10,
12,
13
]
],
[
[
6,
9
],
[
7,
4,
10,
6,
9,
10,
14,
3,
2,
13,
14,
6,
14
]
],
[
[
7,
8
],
[
10,
13,
1,
4,
8,
5,
4,
6,
10,
10,
9,
10,
14
]
],
[
[
8,
12
],
[
2,
8,
3,
14,
1,
13,
13,
14
]
],
[
[
11,
-6
],
[
13,
0,
8,
14,
3,
0,
13,
7,
11
]
],
[
[
13,
-10
],
[
10,
3,
8,
1,
1,
11,
13,
5,
13,
11,
14
]
],
[
[
13,
0
],
[
0,
3,
0,
10,
1,
5,
0,
0,
14,
3
]
]
],
[
[
[
-14,
-14
],
[
0,
7,
8,
12,
14,
5,
14,
9
]
],
[
[
-13,
-13
],
[
4,
7,
9,
7
]
],
[
[
-10,
-3
],
[
5,
2,
4,
1,
6,
7,
6,
14,
4,
11
]
],
[
[
-3,
-7
],
[
0,
11,
5,
0,
11,
3,
2,
5,
9,
6,
9,
1,
2
]
],
[
[
0,
-7
],
[
5,
11,
4,
10,
0,
13,
1
]
],
[
[
2,
-8
],
[
4,
8,
5,
12,
13,
12,
12,
4,
10,
0,
12,
0,
7,
9
]
],
[
[
5,
0
],
[
1,
14,
3,
9,
0,
11,
14,
0,
6,
8,
0
]
],
[
[
6,
9
],
[
10,
4,
8,
3,
5,
12,
9
]
]
],
[
[
[
-10,
13
],
[
9,
13,
11,
8,
0,
7,
11,
6,
8,
0,
12,
6,
4,
12
]
],
[
[
-7,
7
],
[
10,
2,
7
]
],
[
[
-5,
7
],
[
9
]
],
[
[
-4,
5
],
[
3,
13,
5,
5,
13,
11,
0
]
],
[
[
-3,
3
],
[
7,
6
]
],
[
[
-2,
-14
],
[
5,
13,
4,
5
]
],
[
[
-2,
-1
],
[
7,
12,
4,
3,
9,
9,
10,
11,
13,
8,
10,
8,
8,
2
]
],
[
[
2,
-11
],
[
3,
9,
9,
14,
11,
13,
7,
8,
8,
14,
7,
1
]
],
[
[
3,
-10
],
[
9,
6
]
],
[
[
3,
14
],
[
10,
12,
9,
1,
1,
4,
8,
10,
8,
6,
3,
5,
9
]
],
[
[
13,
-8
],
[
7,
8,
4,
4,
12,
0,
6,
7,
10,
7,
10,
11,
6
]
],
[
[
13,
7
],
[
13,
13,
13,
13,
2,
5,
12,
4,
5,
7,
14,
3,
11,
6
]
]
],
[
[
[
13,
-13
],
[
12,
4,
10
]
]
],
[
[
[
-11,
11
],
[
0,
7,
2,
5,
13,
1,
2,
8,
14,
12,
8
]
],
[
[
4,
13
],
[
13
]
],
[
[
6,
-11
],
[
1,
10,
9,
5,
1,
7,
10
]
]
],
[
[
[
-10,
-1
],
[
10
]
],
[
[
-8,
14
],
[
11,
2,
7,
3,
9,
3,
13
]
],
[
[
5,
-5
],
[
2,
6,
3,
14,
0,
2,
11,
1,
4,
7
]
],
[
[
9,
8
],
[
2,
7,
12,
1,
9,
14,
2,
12,
9,
6,
1,
10,
8
]
],
[
[
12,
-1
],
[
3
]
]
],
[
[
[
-14,
-7
],
[
14
]
],
[
[
-9,
-1
],
[
14,
11,
11,
3,
4,
13,
6,
6,
7
]
],
[
[
-8,
-14
],
[
0,
3,
2,
10,
10,
14,
7,
12,
13,
12,
8,
11,
2,
9
]
],
[
[
-4,
-8
],
[
4,
4,
11,
11
]
],
[
[
-4,
0
],
[
10,
4,
9,
5,
7,
12,
8,
10,
13,
1,
2
]
],
[
[
-1,
-8
],
[
9,
12,
0,
1,
8,
11,
1,
9
]
],
[
[
-1,
12
],
[
1,
11,
10,
6,
0,
13,
0,
9,
12
]
],
[
[
3,
-8
],
[
6
]
],
[
[
4,
14
],
[
4,
3,
2,
6,
14,
6,
11,
3,
8,
10,
13,
14,
6,
7
]
],
[
[
7,
-10
],
[
9,
4,
10,
1,
2,
14,
0,
6,
11,
10,
4,
10,
14
]
],
[
[
8,
3
],
[
3,
12,
4,
11,
6
]
],
[
[
13,
-8
],
[
9,
8,
1,
14,
14,
11,
11,
1,
2,
5,
0
]
]
],
[
[
[
-6,
-10
],
[
13,
12,
7,
0,
6
]
],
[
[
-6,
-7
],
[
10,
1,
8,
12,
4,
1,
6,
1,
3,
3,
4
]
],
[
[
-3,
-13
],
[
14,
3,
4,
1,
6,
4,
13,
8,
9
]
],
[
[
0,
-8
],
[
7,
10,
13,
7,
10,
2,
7,
9,
2,
9,
8
]
],
[
[
5,
0
],
[
3,
8,
12,
7,
1,
0,
2
]
],
[
[
9,
13
],
[
5
]
]
]
],
"seed": -1135643618
}